Incorporating Methods and Encapsulation into Deductive Object-Oriented Database Languages
نویسنده
چکیده
This paper presents an approach to incorporating rule-based methods and encapsulation of such methods into DOOD languages. The main novel feature of this approach is the simple and intuitive logic-based semantics that cleanly accounts for all important object-oriented features such as object identity, complex objects, typing, methods, encapsulation, class hierarchy, multiple structural and behavioral inheritance with overridden , and schema deenition. Besides, the set-at-a-time semantics that is natural for database updates is also novel.
منابع مشابه
Towards a Uniform Deductive Object-Oriented Database Language
Deductive object-oriented databases are intended to integrate the deductive and object-oriented database techniques to combine the best of two approaches and to overcome their inherent shortcomings, with a number of deductive object-oriented database languages proposed. However, most of these languages are only structurally object-oriented. Important behaviorally object-oriented features such a...
متن کاملThe Implementation of a Deductive
The ROCK & ROLL database system cleanly integrates deductive and object-oriented capabilities by deening an imperative programming language , ROCK, and a declarative, deductive language, ROLL, over a common object-oriented (OO) data model. Existing techniques for evaluation and optimization of deductive languages fail to address key requirements imposed by ROLL such as: strict typing; placement...
متن کاملOn Extending a Semantic Data Model with some Aspects of Rules and Objects
Expert systems, databases and object-oriented languages have known important developments, each one in its eld. The database domain provides models allowing the speciication of data schemes. The object-oriented systems ooer mechanisms such as inheritance , encapsulation and message sending. They also provide abilities to model the real world objects and the operations that must be executed. The...
متن کاملO!-LOLA - Extending the Deductive Database System LOLA by Object-Oriented Logic Programming
This paper presents the declarative extension of the deductive database system LOLA to the object-oriented deductive database system O!-LOLA. The model used for O!-LOLA is \objects as theories", extended by state evolution. O!-LOLA combines logic programming and OO programming in two diierent w ays: First, methods are implemented as logic programs. These methods can be inherited, encapsulated a...
متن کاملA Logic for Encapsulation in Object-Oriented Languages
We present a logic language with encapsulation based on an object-oriented data model. We give a formal account of the semantics of this language by defining a proof theory, a model theory and a fixed point theory. We also show that the different characterizations of the semantics are equivalent. We then study the logical foundations of encapsulation by introducing a mapping from our language t...
متن کامل